\begin{tabbing}
es{-}next{-}assign\=\{i:l\}\+
\\[0ex](${\it es}$; $T$; ${\it eq}$; $v$; $x$; $e$; ${\it bound}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{next{-}var{-}value:ObjectId, 1:l, i:l\}(${\it es}$,$T$,${\it eq}$,$v$,$x$,$e$,${\it bound}$)).1
\end{tabbing}